Building Mathematics-Based Software Systems to Advance Science and Create Knowledge
نویسنده
چکیده
Kurt Mehlhorn’s foundational results in computational geometry provide not only a basis for practical geometry systems such as Leda and CGAL, they also, in the spirit of Euclid, provide a sound basis for geometric truth. This article shows how Mehlhorn’s ideas from computational geometry have influenced work on the logical basis for constructive geometry. In particular there is a sketch of new decidability results for constructive Euclidean geometry as formulated in computational type theory, CTT. Theorem proving systems for type theory are important in establishing knowledge to the highest standards of certainty, and in due course they will play a significant role in geometry systems.
منابع مشابه
بررسی تاثیر اجرای نظام پیشنهادها بر یادگیری سازمانی
The purpose of this paper is to study of the casual effect of implementing sug-gestions system on three major aspects of organizational learning known as knowledge acquisition, knowledge distribution and knowledge utilization. Since organizational learning is becoming more important in the world of knowledge-based businesses, managers are more interested to know which management systems & proce...
متن کاملAn Interactive Allocation for Depot-Customer-Depot in a Multi Aspect Supply Chain Network
Supply chain excellence has a real huge impact on business strategy. Building supply chains (SCs) as flexible system represents one of the most exciting opportunities to create value. This requires integrated decision making amongst autonomous chain partners with effective decision knowledge sharing among them. The key to success lies in knowing which decision has more impact on the supply chai...
متن کاملPresenting an Entrepreneurial Brand Building Model to Knowledge-Based Firms
According to the matter of knowledge-based businesses development in economic development and job creation of the state, it is so important to identify effective strategies and factors in developing entrepreneurship, supporting commercializing and branding of knowledge-based businesses and the environment in which these businesses fare formed. The purpose of the present research is offering an ...
متن کاملBuilding an Advance Domain Ontology Model of Information Science (OIS)
The paper describes the process of modelling domain knowledge of Information Science (IS) by creating an Ontology of Information Science domain (OIS). It also reports on the life cycle of the ontology building process using Methontology, based on the IEEE standard for development software life cycle process, which mainly consists of: specification, conceptualization, formalization, implementati...
متن کاملIdentification of knowledge audit factors in knowledge management soft-ware’s
Purpose: Todaychr('39')s knowledge-based organizations use knowledge management softwares to accelerate and facilitate their knowledge management processes.But facilitating and accelerating these processes will not be possible, except with knowledge audit, which is the first step of knowledge management. So the purpose of this research is identifying the knowledge audit factors in the knowledge...
متن کامل